检索结果

Select

1. 嵌入式实时控制系统软件可靠性建模与应用

郭荣佐黄君

计算机应用 2013, 33 (02): 575-578. DOI: 10.3724/SP.J.1087.2013.00575

摘要（783）

PDF （575KB）（431）

嵌入式实时控制系统(ERCS)广泛应用于各种控制系统中，其软件不同于普通软件，除满足实时性要求外，可靠性也是相当重要的。首先对嵌入式实时控制系统软件进行形式化抽象定义，然后对不可再分的软件模块进行可靠性建模，并应用Copula函数对软件系统进行建模，最后应用建立的模型，对具体的系统进行了软件可靠性计算。通过实例计算可知，用Copula函数建立的嵌入式实时控制系统软件可靠性模型，考虑了软件各个模块的相依性，进而得到嵌入式实时控制系统软件模块相依的可靠度较各模块独立时有所提高。

相关文章 | 多维度评价

Select

2. 基于Markov链的嵌入式系统硬件可靠性研究

郭荣佐黄君王霖

计算机应用 2012, 32 (04): 1152-1156. DOI: 10.3724/SP.J.1087.2012.01152

摘要（473）

PDF （919KB）（373）

嵌入式系统产品在使用过程中经常出现硬件故障，从而影响系统的安全可靠性。从嵌入式系统硬件层面研究其可靠性。首先定义嵌入式系统硬件目标，简单介绍了Markov过程理论；建立了单个IP硬核和嵌入式系统硬件的Markov模型；应用所建立的模型，对嵌入式站间自动闭塞控制器硬件进行了可靠度计算和分析。实验结果表明，该Markov模型能够准确描述嵌入式系统硬件的状态变迁，并能计算和分析其可靠度，具有一定的实用价值。

参考文献 | 相关文章 | 多维度评价

Select

3. 基于π网的嵌入式系统软硬件划分方法

郭荣佐黄君王霖

计算机应用 2012, 32 (03): 855-860. DOI: 10.3724/SP.J.1087.2012.00855

摘要（1187）

PDF （941KB）（598）

针对嵌入式系统软硬件划分问题,提出一种基于π网的软硬件划分方法。首先介绍π网的定义及其规则;然后,对嵌入式系统目标进行描述和定义,应用π网建立软硬件划分模型——嵌入式系统软硬件划分模型(ESHPM);最后,对模型ESHPM进行一致性、死锁和兼容性分析,同时,对模型ESHPM进行了优化。所建立的模型ESHPM满足一致性,各进程间无死锁存在,且各个进程之间的交互是兼容的;同时模型ESHPM有效地提高了划分精度,并获得了更加合理的软硬件划分方法。

参考文献 | 相关文章 | 多维度评价